<html>
<head><meta charset="utf-8"><title>refactor types to fit the chalk-ty generi… compiler-team#341 · t-compiler/major changes · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/index.html">t-compiler/major changes</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20types.20to.20fit.20the.20chalk-ty.20generi.E2.80.A6.20compiler-team.23341.html">refactor types to fit the chalk-ty generi… compiler-team#341</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="206003132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20types%20to%20fit%20the%20chalk-ty%20generi%E2%80%A6%20compiler-team%23341/near/206003132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20types.20to.20fit.20the.20chalk-ty.20generi.E2.80.A6.20compiler-team.23341.html#206003132">(Aug 05 2020 at 09:26)</a>:</h4>
<p>A new proposal has been announced: <a href="https://github.com/rust-lang/compiler-team/issues/341">#341</a>. It will be announced at the next meeting to try and draw attention to it, but usually MCPs are not discussed during triage meetings. If you think this would benefit from discussion amongst the team, consider proposing a design meeting.</p>



<a name="206005571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20types%20to%20fit%20the%20chalk-ty%20generi%E2%80%A6%20compiler-team%23341/near/206005571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20types.20to.20fit.20the.20chalk-ty.20generi.E2.80.A6.20compiler-team.23341.html#206005571">(Aug 05 2020 at 10:01)</a>:</h4>
<blockquote>
<p>One point to note is that match ty.kind() { .. .} produces references for the fields within, which is often not what we want, because those fields are copy, and thus sometimes match *ty.kind() { .. } is preferable (though, as you can see in <a href="https://github.com/rust-lang/rust/issues/75077">rust-lang/rust#75077</a>, not always.</p>
</blockquote>
<p>As said in <a href="#narrow/stream/144729-wg-traits/topic/Looking.20to.20contribute/near/205762268">https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/Looking.20to.20contribute/near/205762268</a>, I think it would be advantageous to instead change the result of <code>kind</code> to <code>TyKind</code> and require <code>TyKind</code> to be copy</p>



<a name="206005578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20types%20to%20fit%20the%20chalk-ty%20generi%E2%80%A6%20compiler-team%23341/near/206005578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20types.20to.20fit.20the.20chalk-ty.20generi.E2.80.A6.20compiler-team.23341.html#206005578">(Aug 05 2020 at 10:01)</a>:</h4>
<p>which hopefully solves this problem</p>



<a name="206174858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20types%20to%20fit%20the%20chalk-ty%20generi%E2%80%A6%20compiler-team%23341/near/206174858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20types.20to.20fit.20the.20chalk-ty.20generi.E2.80.A6.20compiler-team.23341.html#206174858">(Aug 06 2020 at 17:54)</a>:</h4>
<p>The MCP needs a second, maybe cc <span class="user-mention" data-user-id="119009">@eddyb</span> <span class="user-mention" data-user-id="124288">@oli</span> who were there in the design meeting for this proposal?</p>



<a name="206228868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20types%20to%20fit%20the%20chalk-ty%20generi%E2%80%A6%20compiler-team%23341/near/206228868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20types.20to.20fit.20the.20chalk-ty.20generi.E2.80.A6.20compiler-team.23341.html#206228868">(Aug 07 2020 at 06:56)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="492">@T-compiler</span>: Proposal <a href="https://github.com/rust-lang/compiler-team/issues/341#issuecomment-670361303">#341</a> has been seconded, and will be approved in 10 days if no objections are raised.</p>



<a name="207422046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/refactor%20types%20to%20fit%20the%20chalk-ty%20generi%E2%80%A6%20compiler-team%23341/near/207422046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/refactor.20types.20to.20fit.20the.20chalk-ty.20generi.E2.80.A6.20compiler-team.23341.html#207422046">(Aug 19 2020 at 15:22)</a>:</h4>
<p>This proposal has been accepted: <a href="https://github.com/rust-lang/compiler-team/issues/341">#341</a>.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>